variations of turing machine